import __00SetRelation as sr
import _00SetFunc as ss

#若R是自反的，则s(R)和t(R)是自反的
Xm,Ym,n=10,8,10 
X=set(range(Xm))
Y=set(range(Ym))
R=sr.createrelation(X,Y,n)
R=sr.reflexiverelation(X,R)
tv=sr.isreflexiverelation(X,R)
tv=tv and (sr.isreflexiverelation(X,sr.s(X,R)))
tv=tv and (sr.isreflexiverelation(X,sr.t(X,R)))
print("R",R)
print("tv",tv)